import PikaStdDevice as std
import time

class GPIO(std.GPIO):...

class UART(std.UART):...

class ADC(std.ADC):...

class PWM(std.PWM):...

def Time():
    return time
